Trong ngôn ngữ kiểu tĩnh (như C++ và Java), thuật ngữ hàm tổng quát dùng để chỉ một cơ chế cho đa hình trong thời gian biên dịch (compile-time polymorphism) tức điều phối tĩnh (static dispatch), đặc biệt là đa hình tham số (parametric polymorphism). Đó là những hàm được định nghĩa bằng TypeParameter, với dự định sẽ được giải quyết với thông tin kiểu vào thời gian biên dịch (compile time). Trình biên dịch sử dụng các kiểu này để khởi tạo các phiên bản phù hợp, và giải quyết bất kì chồng hàm (function overloading) một cách thích hợp.